Тестирую Дифференциальный Автомат На Утечку